1. Logic for mathematicians
پدیدآورنده : Hamilton, Alan G.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H298
1988
2. Logic for mathematicians
پدیدآورنده : Hamilton, Alan G., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H298
1988
3. Logic for mathematicians
پدیدآورنده : Hamilton, Alan G., 3491-
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic, symbolic and mathematical
رده :
QA
9
.
H298
4. <The> Professional programmers guide to prolog
پدیدآورنده : Alan G. Hamilton
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer system- Programming language: Prolog
رده :
QA
،
76
.
73
،.
P76
,
H3
،
1989
